1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3N5DTC2 |
Repositório | sid.inpe.br/mtc-m21b/2017/01.03.17.06 |
Última Atualização | 2020:06.22.18.43.11 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/01.03.17.06.16 |
Última Atualização dos Metadados | 2022:08.22.23.17.12 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | AlmeidaMatt:2016:SoC&Em |
Título | Software C&DH embarcado em nanossatélites (ScdhNa) |
Ano | 2016 |
Data de Acesso | 10 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 251 KiB |
|
2. Contextualização | |
Autor | 1 Almeida, Danilo Pallamin 2 Mattiello-Francisco, Maria de Fátima |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHR8 |
Grupo | 1 2 CCR-CCR-INPE-MCTI-GOV-BR |
Afiliação | 1 Universidade de São Paulo (USP) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 2 fatima.matiello@inpe.br |
Nome do Evento | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) |
Localização do Evento | São José dos Campos, SP |
Data | 25-26 jul. |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais |
Cidade da Editora | São José dos Campos, SP |
Histórico (UTC) | 2017-01-20 18:06:10 :: simone -> administrator :: 2016 2018-06-04 02:41:47 :: administrator -> simone :: 2016 2022-04-11 18:00:00 :: simone -> administrator :: 2016 2022-08-22 23:17:12 :: administrator -> simone :: 2016 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Resumo | Este trabalho, iniciado em Março de 2016, tem por alvo o desenvolvimento do software que realiza as funções de comando, manipulação de dados e aquisição de telemetria, embarcado do computador de bordo do nanosatélite NANOSATC-BR2, que utiliza o padrão CubeSat. As atividades realizadas até o presente focaram a análise dos requisitos do software de comando e gestão de dados (C&DH). Modelos baseados no formalismo timed automata foram criados com o uso da ferramenta UPPAAL para representar a interoperabilidade entre o computador de bordo do NANOSATC-BR2 e as cargas úteis do nanossatélite. Os modelos serão úteis na análise dos requisitos de cada subsistema, tanto na perspectiva de operação a bordo quanto em solo.A ferramenta UPPAAL permite validar os requisitos em termos de propriedades dos modelos, tais como frequência de visita de comunicação entre computador e carga útil, padrão de interação a ser seguido, e volume de dados a ser transferido, entre outros. Uma das propostas do projeto do NANOSATC-BR2 é desenvolver no Brasil o software de gestão de bordo, em parceria com empresas nacionais emergentes de ex-alunos do INPE, para assim manter esta tecnologia sob domínio do Brasil. A abordagem adotada, pela equipe de pós-graduação da Engenharia de Sistemas do INPE, será orientada a modelos (Model Driven Engineering). Desta maneira, o software embarcado no computador de bordo, tomará como base o modelo aqui desenvolvido para operar o nanossatélite. O NANOSATC-BR2 é um nanossatélite 2U que contará com cargas úteis desenvolvidas tanto internamente no INPE, como em parceria com grupos de pesquisa de universidades brasileiras na UFRGS, UFSM, SMDH, e UFMG. Inicialmente, foram criados modelos de operação individuais entre o computador de bordo com as respectivas cargas úteis. A partir dos requisitos dos subsistemas descritos em linguagem natural, um modelo de interoperabilidade foi gerado para cada carga util, com foco nas suas necessidades de interação com o software de gestão de bordo. Em seguida, estes modelos foram integrados em um único modelo de interoperabilidade representando todas as demandas de interação entre o computador de bordo e as cargas úteis. O desenvolvimento deste modelo de interoperabilidade se insere no processo MDE de verificação e validação de sistemas, prevista em engenharia de sistemas como uma etapa importante no desenvolvimento de projetos críticos intensivos em software. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > Software C&DH embarcado... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2016 > Software C&DH embarcado... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3N5DTC2 |
URL dos dados zipados | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3N5DTC2 |
Idioma | pt |
Arquivo Alvo | Almeida_software.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | urlib.net/www/2011/03.29.20.55 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3EUJHT5 8JMKD3MGPDW34P/478H8MB |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.05.15.23 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Notas | Bolsa PIBIC/INPE/CNPq |
Campos Vazios | archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|